Results for 'A. Włodzimierz Mostowski'

947 found
Order:
  1.  15
    On the Decidability of Some Problems in Special Classes of Groups.A. Wlodzimierz Mostowski - 1970 - Journal of Symbolic Logic 35 (3):476-477.
  2.  28
    Zum Problem der Darstellbarkeit von Matrizen.A. Wlodzimierz Mostowski & A. A. Markov - 1966 - Journal of Symbolic Logic 31 (4):653.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  33
    Beispiel einer Gruppe mit Nicht Rekursivem Zentrum.A. Wlodzimierz Mostowski & N. M. Nagornyj - 1966 - Journal of Symbolic Logic 31 (4):653.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  50
    N. M. Nagornyj. Primer gruppy s nérékursivnym céntrom . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 304–308. [REVIEW]A. Włodzimierz Mostowski - 1966 - Journal of Symbolic Logic 31 (4):653-653.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Review: P. S. Novikov, The Unsolvability of the Problem of the Equivalence of Words in a Group and Several Other Problems in Algebra. [REVIEW]A. Wlodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):56-57.
  6.  33
    P. S. Novikov and S. I. Adán. Probléma toždéstva dlá polugrupp s odnostoronnim sokraščéniém . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 66–88. [REVIEW]A. Włodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):57.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. Review: P. S. Novikov, S. I. Adan, Das Wortproblem fur Halbgruppen mit Eiseitiger Kurzungsregel. [REVIEW]A. Wlodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):57-57.
  8.  15
    Novikov P. S.. O nérazréšimosti problémy toždéstva slov v gruppé i nékotoryh drugih problém algebry . Čehoslovackij matématičéskij žurnál , vol. 6 , pp. 450–454. [REVIEW]A. Włodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):56-57.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    S. I. Adán. Nérazréšimost′ nékotoryh algoritmičéskih problém térii grupp . Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 6 , pp. 231–298. [REVIEW]A. Wlodzimierz Mostowski - 1965 - Journal of Symbolic Logic 30 (3):391-391.
  10.  21
    Włodzimierz Mostowski A.. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 , pp. 123–135.Włodzimierz Mostowski A.. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 , pp. 137–152. [REVIEW]F. B. Cannonito - 1970 - Journal of Symbolic Logic 35 (3):476-477.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  32
    Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.
    We prove that the finite-model version of arithmetic with the divisibility relation is undecidable . Additionally we prove FM-representability theorem for this class of finite models. This means that a relation R on natural numbers can be described correctly on each input on almost all finite divisibility models if and only if R is of degree ≤0′. We obtain these results by interpreting addition and multiplication on initial segments of finite models with divisibility only.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  12
    Logika dla inżynierów.Andrzej Włodzimierz Mostowski - 1970 - Warszawa,: Panstwowe Wydawn. Naukowe. Edited by Zdzisław Pawlak.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  18
    A Class of Models for Second Order Arithmetic.A. Mostowski - 1969 - Journal of Symbolic Logic 34 (1):128-129.
  14.  13
    A Lemma Concerning Recursive Functions and Its Applications.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (4):299-300.
  15.  12
    A Compact Space of Models of First Order Theories.A. Ehrenfeucht & A. Mostowski - 1970 - Journal of Symbolic Logic 35 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  12
    A Proof of Herbrand's Theorem.A. Mostowski & H. Rasiowa - 1971 - Journal of Symbolic Logic 36 (1):168-169.
  17.  13
    A Problem in the Theory of Models.A. Mostowski - 1974 - Journal of Symbolic Logic 39 (3):600-600.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  16
    Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
  19.  14
    On Models of Axiomatic Set-Theory.A. Mostowski - 1967 - Journal of Symbolic Logic 32 (4):531-532.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  41
    Allocution Prononcée par M. A. Ch'telet.A. Tarski, M. Krasner, A. Mostowski & R. de Possel - 1960 - Journal of Symbolic Logic 25 (3):284-285.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  32
    Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
  22.  14
    Roczniki Polskiego Towarzystwa Matematycznego.A. Mostowski - 1966 - Journal of Symbolic Logic 31 (3):517-517.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  19
    Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk, A. Mostowski & C. Ryll-Nardzewski - 1969 - Journal of Symbolic Logic 34 (1):126-126.
  24.  6
    Contribution to the Theory of Definable Sets and Functions.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):365-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  26
    Sur l’interpretation Géométrique et Topologique des Notions Logiques.A. Mostowski - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:767-769.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  5
    Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon.A. Tarski & A. Mostowski - 1960 - Journal of Symbolic Logic 25 (3):285-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  21
    On Models of Axiomatic Systems.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (3):220-221.
  28.  8
    Examples of Sets Definable by Means of Two and Three Quantifiers.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):364-365.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  62
    Meeting of the association for symbolic logic warsaw 1968.A. Blikle & Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (3):533-544.
  30. Meeting of the Association for Symbolic Logic.A. Mostowski - 1969 - Journal of Symbolic Logic 34:533.
  31.  25
    On Computable Sequences.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):367-367.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  40
    A new inner model for ZFC.Wlodzimierz Zadrozny - 1981 - Journal of Symbolic Logic 46 (2):393-396.
    Assume $(\exists\kappa) \lbrack\kappa \rightarrow (\kappa)^{ . Then a new inner model H exists and has the following properties: (1) H ≠ HOD; (2) Th(H) = Th(HOD); (3) there is j: H → H; (4) there is a c.u.b. class of indiscernibles for H.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  33.  18
    Un Procédé Maniable de Décision pour la Logique Propositionelle Intuitionniste.H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  22
    (1 other version)A classification of logical systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.A. Mostowski - 1953 - British Journal for the Philosophy of Science 3 (12):364-374.
     
    Export citation  
     
    Bookmark   9 citations  
  36.  24
    On Recursive Models of Formalised Arithmetic.A. Mostowski - 1958 - Journal of Symbolic Logic 23 (1):45-46.
  37.  17
    Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik.A. Mostowski, A. Grzegorczyk, S. Mazur & H. Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  14
    L'Oeuvre Scientifique de Jan Łukasiewicz dans Le Domaine de la Logique Mathématique.A. Mostowski - 1957 - Journal of Symbolic Logic 22 (4):387-388.
  39.  9
    A note on ciris 118.Włodzimierz Olszaniec - 2021 - Classical Quarterly 71 (2):898-899.
    This note offers a new emendation in the Ciris. The author suggests that the text of line 118 should read: deicere et indomita Minoa retundere mente.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. L. Lombard Vallauri (Rome), Les deux aspects de la participa-tion du juriste à la formation de la règle de droit (3.5. 68); Prof. S. Ginossar (Jerusalem), La règle de droit en Droit Israélien. [REVIEW]P. le Professeur & A. Mostowski - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark   2 citations  
  41.  26
    A. I. Mal′cév. O malyh modélah . Doklady Akadémii Nauk SSSR, vol. 127 , pp. 258–261.Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (3):513-514.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    Granice Europy - granice filozofii: filozofia a tożsamość Rosji.Włodzimierz Rydzewski & Leszek Augustyn (eds.) - 2007 - Kraków: Wydawn. Uniwersytetu Jagiellońskiego.
    Książka zawiera: podsumowanie konferencji naukowej: Kraków, Uniwersytet Jagielloński 2004; pytanie o granice filozofii i różnice w jej rozumieniu; pytanie o specyfikę filozofii rosyjskiej na tle innych tradycji filozoficznych; pytanie o granice teoretyczne i polityczne, geograficzne, narodowe, mentalne; pytanie o rozumienie pojęcia "granica" w myśli rosyjskiej; pytanie o to, co rozumiemy przez pojęcie "Rosja", a co przez pojęcie "Europa"; teksty wybitnych uczonych i naukowe debiuty doktorantów.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Koncepcja więzi społecznej i wizja dziejów w doktrynie społecznej Piotra A. Kropotkina.Włodzimierz Rydzewski - 1978 - Archiwum Historii Filozofii I Myśli Społecznej 24.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  27
    Can a Physicist Afford not To Be a Platonic?Włodzimierz Kołos - 2008 - Dialogue and Universalism 18 (4-6):13-25.
    Differences between macro and microphysics. How do we come to know the world? Theories—can they be beautiful? Cloakroom principle. Microparticles are identical—conssquences. Platonian beings.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. (2 other versions)On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
  46.  17
    Alan Rose. A formalisation of the ℵ 0 -valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294. [REVIEW]A. Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143-143.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  9
    Jerome Keisler H.. First order properties of pairs of cardinals. Bulletin of the American Mathematical Society, vol. 72 , pp. 141–144. [REVIEW]A. Mostowski - 1968 - Journal of Symbolic Logic 33 (1):122-122.
  48. Matematyka a muzyka.Włodzimierz Ławniczak & Irena Torbicka - 1987 - Colloquia Communia 34 (5):141-158.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  7
    Filozofia--etyka--ekologia: profesorowi Włodzimierzowi Tyburskiemu w darze = Philosophy--ethics--ecology: the contribution to professor Wlodzimierz Bernard Tyburski.Włodzimierz Tyburski, Piotr Domeracki, Adam Grzeliński & Ryszard Wiśniewski (eds.) - 2015 - Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika.
    […] redaktorom udała się rzecz dość rzadka w tego typu publikacjach, mianowicie stworzyli imponujących rozmiarów księgę pamiątkową, która jednak, poza walorami okolicznościowymi, charakteryzuje się wysokim poziomem naukowym i zawiera sporo oryginalnych, wartościowych treści, z konieczności prezentowanych w krótkich formach, co jednak nie obniża ich rangi teoretycznej. Ponadto […] udało się w tej publikacji zgromadzić bardzo liczne, a jednocześnie reprezentatywne grono najwybitniejszych polskich filozofów, którzy ofiarowali profesorowi Tyburskiemu swoje cenne teksty, co czyni tę książkę tym bardziej wartościową i spowoduje, jak można (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  19
    (1 other version)Concerning a problem of H. Scholz.Andrzej Mostowski - 1956 - Mathematical Logic Quarterly 2 (10‐15):210-214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 947